181. Robotics :
پدیدآورنده: Bruno Siciliano [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Manipulators (Mechanism),Robots-- Control systems.,Robots-- Motion.,Ingénierie.,Manipulators (Mechanism),Manipulators (Mechanism),Robots-- Control systems.,Robots-- Control systems.,Robots-- Motion.,Robots-- Motion.
رده :
TJ211
.
35
.
S43
2009eb
182. STACS 87 :
پدیدآورنده: edited by Franz J. Brandenburg, Guy Vidal-Naquet, Martin Wirsing.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algorithms.,Computer science.,Computers.
183. Schaum's outline of theory and problems of discrete mathematics
پدیدآورنده: abridgement editor, George J. Hademenos.
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Algebra, Abstract,Combinatorial analysis,Logic, Symbolic and mathematical
رده :
QA
162
.
D57
2003
184. Selected Topics in Operations Research and Mathematical Economics :
پدیدآورنده: edited by Gerald Hammer, Diethard Pallaschke.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Economics.
رده :
T57
.
6
.
A1
E358
1984
185. Sequences, Groups, and Number Theory /
پدیدآورنده: Valérie Berthé, Michel Rigo, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Number theory.,Combinatorics & graph theory.,Discrete mathematics.,Groups & group theory.,MATHEMATICS-- Algebra-- Intermediate.,Number theory.,Number theory.
رده :
QA241
186. Simplicial complexes of graphs
پدیدآورنده: Jonsson, Jakob, 2791-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Graph theory,، Morse theory,، Decision trees,، Algebra, Homological
رده :
QA
3
.
L28
Vol
.
1928
187. Spatial mathematics :
پدیدآورنده: Sandra Lach Arlinghaus, Joseph J. Kerski
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Cartography-- Mathematics,Geographic information systems, Software,Geography-- Mathematics
رده :
G70
.
23
.
A77
2014
188. Spatially-Coupled Codes for Modern Data Storage Systems
پدیدآورنده: Esfahanizadeh, Homa
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
189. Specification and analysis of concurrent systems :
پدیدآورنده: Ryszard Janicki
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
رده :
QA76
.
58
R979
2012
190. Spectral clustering and biclustering :
پدیدآورنده: Marianna Bolla
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Contingency tables,Graph theory,Multivariate analysis
رده :
QA278
191. Spectral clustering and biclustering :
پدیدآورنده: Marianna Bolla
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Contingency tables.,Graph theory.,Multivariate analysis.
رده :
QA278
192. Sphere Packings, Lattices and Groups
پدیدآورنده: by J. H. Conway, N. J. A. Sloane.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Chemistry-- Mathematics.,Engineering.,Group theory.,Mathematics.
193. Straight from the book /
پدیدآورنده: Titu Andreescu, Gabriel Dospinescu.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematics, Problems, exercises, etc.,Mathematics.
رده :
QA43
.
A536
2012
194. String theory and quantum gravity :
پدیدآورنده: edited by M. Green [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Quantum gravity, Congresses.,String models, Congresses.,Kongress,Quantengravitation,Quantum gravity.,SCIENCE-- Physics-- Quantum Theory.,String models.,Stringtheorie
رده :
QC794
.
6
.
S85
195. Structural mechanics :
پدیدآورنده: Ali Kaveh.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Structural analysis (Engineering)-- Matrix methods.,Structural analysis (Engineering)-- Matrix methods.
رده :
TA642
.
K38
2004
196. Structural methods in the study of complex systems /
پدیدآورنده: Elena Zattoni, Anna Maria Perdon, Giuseppe Conte, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Control theory.,Lattice theory.,System analysis.,Control theory.,Lattice theory.,System analysis.
رده :
QA402
197. Symbolic Algebraic Methods and Verification Methods
پدیدآورنده: edited by Götz Alefeld, Jiří Rohn, Siegfried Rump, Tetsuro Yamamoto.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra -- Data processing.,Computer science.,Mathematics.
رده :
QA76
.
9
.
M35
E358
2001
198. Systems Analysis by Graphs and Matroids
پدیدآورنده: by Kazuo Murota.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Combinatorics.,Mathematics.
199. TAPSOFT'93 : Theory and practice of software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993: proceedings
پدیدآورنده: M.C. Gaudel, J.P. Jouannaud )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software -- Development,Congresses ، Software engineering,Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
668
200. TAPSOFT'87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987
پدیدآورنده: edited by Harmut Ehrig...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software -- Development,Congresses ، Software engineering,Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
249-250
